Merge pull request #1636 from antonio-nino-diaz-arm/an/console
authorAntonio Niño Díaz <[email protected]>
Thu, 25 Oct 2018 09:54:57 +0000 (11:54 +0200)
committerGitHub <[email protected]>
Thu, 25 Oct 2018 09:54:57 +0000 (11:54 +0200)
 Deprecate weak crash console functions


Trivial merge